solum lege generic

solum.lege<T> admits only supported materialization target types.

Syntax: solum.lege<textus>(via) | solum.lege<lista<textus>>(via) | solum.lege<octeti>(via)

Category

ad

Related

• ad
• solum
• generic

Examples

examples/corpus/ad/solum-lege-generic.fab (canonical · concept)

solum.lege<T> admits only supported materialization target types.

# solum.lege<T> — generic materialization domain
#
# `solum.lege<T>` is constrained by compiler-owned `@ radix typus` metadata in
# `stdlib/norma/solum.fab`. This fixture proves the accepted target types.
#
# Runtime check: files are prepared under /tmp so the generic materializer can
# prove each accepted target shape independently of the harness working
# directory.

importa ex "norma:solum" privata solum

incipit {
    fixum textus textPath ← "/tmp/faber-solum-lege-generic.txt"
    solum.scribe(textPath, "prima\nsecunda\n")

    fixum textus body ← solum.lege<textus>(textPath)
    fixum lista<textus> lineae ← solum.lege<lista<textus>>(textPath)
    fixum octeti bytes ← solum.lege<octeti>(textPath)
    nota body
    nota lineae
    nota bytes
    nota "solum lege generic parata"
}